Server-aided multi-party protocols

ABSTRACT

The disclosed architecture employs techniques that make secure multi-party computation (MPC) practical and scalable. In support of utilizing cloud computing, for example, for evaluating functionality, a third party server can be employed which does not have any input to the computation and does not receive any output from the computation, yet has a vast amount of computational resources. Accordingly, the secure MPC architecture can outsource as much as possible of the computation and communications burden of the parties without the server(s) learning any information about the party inputs.

CROSS-REFERENCE TO RELATED APPLICATIONS

This application is related to pending U.S. patent application Ser. No. 12/713,206 entitled “Secure Computation Using a Server Module” and filed on Feb. 26, 2010.

BACKGROUND

A protocol for secure multi-party computation (MPC) allows a set of parties, each with a private input, to securely evaluate functionality (e.g., of a computational device) over party inputs. Generally, a secure MPC protocol should guarantee, (1) that the parties will not learn any information from the protocol other than the associated party output and what is inherently leaked from the output, (2) that the functionality was computed correctly, and (3) that all the inputs are independent. Performing secure computations over private data can enable organizations to mine data while preserving user privacy and make possible secure electronic voting.

However, many of the existing improvements in efficiency rely on new and more efficient instantiations of the cryptographic primitives and protocols underlying the generic MPC results. While the improvements in efficiency may be substantial, even the most efficient solutions cannot scale to handle the kind of massive datasets currently available. Indeed, at a certain scale, even plain non-secure algorithms become infeasible. Thus, the prospect of executing any MPC protocol is unreasonable.

SUMMARY

The following presents a simplified summary in order to provide a basic understanding of some novel embodiments described herein. This summary is not an extensive overview, and it is not intended to identify key/critical elements or to delineate the scope thereof. Its sole purpose is to present some concepts in a simplified form as a prelude to the more detailed description that is presented later.

The disclosed architecture employs different and complimentary approaches to making secure multi-party computation (MPC) practical, and in particular, to making MPC scale. In addition to the parties that desire to evaluate the functionality that operates on party input and provides outputs to the parties, there is a third party that does not have any input to the computation and does not receive any output from the computation, yet has a vast amount of computational resources. The third party is referred to the server (one or more servers) and the environment that utilizes such a server (one or more servers), as server-aided MPC.

The architecture discloses multi-party protocols for securely computing functionality as provided by the server. For example, in one implementation, a multi-party (e.g., two-party) server-aided protocol is provided that is secure in the presence of non-colluding parties and, a malicious server or malicious party. Another multi-party server-aided protocol addresses the situation of a non-colluding malicious party by employing cut-and-choose on the malicious party circuits and inputs. Yet another multi-party server-aided protocol addresses the situation of a semi-honest server and a malicious party. Still another multi-party server-aided protocol for the specific functionality of (1,n)-oblivious transfer addresses the situation of a malicious server.

The disclosed architecture finds particular application to outsourced computation, also known as “cloud computing”, where a service provider offers clients access to an unlimited amount of computing resources. Accordingly, the disclosed secure MPC can outsource as much of the computation and communication burden of the parties as possible without the server learning any information about the party inputs.

To the accomplishment of the foregoing and related ends, certain illustrative aspects are described herein in connection with the following description and the annexed drawings. These aspects are indicative of the various ways in which the principles disclosed herein can be practiced and all aspects and equivalents thereof are intended to be within the scope of the claimed subject matter. Other advantages and novel features will become apparent from the following detailed description when considered in conjunction with the drawings.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 illustrates multi-party computation system in accordance with the disclosed architecture.

FIG. 2 illustrates a first exemplary MPC protocol for secure multi-party computation in accordance with the disclosed architecture.

FIG. 3A and FIG. 3B illustrate a second exemplary MPC protocol for secure multi-party computation in accordance with the disclosed architecture.

FIG. 4 illustrates a third exemplary MPC protocol for secure multi-party computation in accordance with the disclosed architecture.

FIG. 5 illustrates a fourth exemplary MPC protocol for secure multi-party computation in accordance with the disclosed architecture.

FIG. 6 illustrates a block diagram of a computing system that executes server-aided secure multi-party computation in accordance with the disclosed architecture.

DETAILED DESCRIPTION

Secure multi-party computation (MPC) protocols can be roughly categorized as protocols that employ garbled circuit techniques and protocols that are based on secret sharing. However, in the current state, neither approach readily lends itself to the server-aided setting in which a server is employed to perform or assist in the computation. In one garbled circuit approach one party “garbles” a circuit that computes the functionality while the other party evaluates the functionality. Outsourcing either the garbling operation or the evaluation operation to the server would immediately leak information about the party inputs.

In the case of protocols based on secret sharing, each party shares its input among all the other parties. The parties then evaluate the functionality on the shares the parties hold in order to obtain a share of the final output. The output is then reconstructed using the shares of all the participants. In this approach, security crucially depends on each of the intermediate values of the computation being shared among all participants. Clearly, outsourcing the party computation to a single server would allow recovery of the inputs.

Another approach relies on fully-homomorphic encryption, which allows the evaluation of arbitrary circuits on encrypted messages. With this approach, the evaluation of the functionality can be done by a single party using the encryptions of the other party inputs. However, existing fully-homomorphic encryption techniques are insufficient for practical use. Other improvements include partially-homomorphic encryption schemes with practical efficiency, schemes that allow the evaluation of intermediate classes of functionalities such as quadratic formulas and NC1 circuits (circuits that employ polylogarithmic depth and polynomial size), and an encryption scheme that can be used to evaluate circuits of bounded depth.

The disclosed architecture employs approaches that make secure MPC practical and scalable. In support of utilizing cloud computing, for example, for evaluating functionality, a third party server can be employed which does not have any input to the computation and does not receive any output from the computation, yet has a vast amount of computational resources. Accordingly, the disclosed secure MPC architecture attempts to outsource as much as possible of the computation and communications burden of the parties without the server(s) learning any information about the party inputs. The architecture discloses three general-purpose constant-round (meaning, a constant number of rounds, where “round” means the number of interactions) server-aided two-party protocols for Boolean circuits and a special-purpose protocol for a 1-out-of-n oblivious transfer. These protocols are described in detail hereinbelow.

Following is preliminary information and notations that are utilized in describing the disclosed protocols, related at least in part, to entities that are malicious, colluding, non-colluding, semi-honest, and so on.

As notation, x←χ represents an element x being sampled from a distribution χ, and

$x\overset{\$}{\leftarrow}$

X represents an element x being sampled uniformly from a set X. The output x of an algorithm A is denoted by x←A. The ith element of a vector v is referred to as either ν_(i) or v[i]. Throughout the description, k refers to the security parameter. A function υ:

is negligible in k if for every polynomial p(·) and sufficiently large k, υ(k)<1/p(k). Let poly(k) and negl(k) denote unspecified polynomial and negligible functions in k, respectively. There exists a polynomial p(·) such that for all sufficiently large k, f(k)≦p(k), which is written as f(k)=poly(k), and there exists a negligible function υ(·) such that for all sufficiently large k, f(k)≦υ(k), written as f(k)=negl(k).

With respect to multi-party functionalities, an n-party randomized functionality is a function f:

×({0,1}*)^(n)×{0,1}*→{0,1}*, where the first input is the security parameter k, the second input is a vector of strings x, the third input is a set of random coins r, and the output is a vector of strings. In the context of MPC, each party P_(i) holds an input x_(i) and wants to receive output y_(i), where y←f(k, x, r) for

$r\overset{\$}{\leftarrow}{\left\{ {0,1} \right\}^{{poly}{(k)}}.}$

(Throughout the description, the security parameter and the coins are omitted for brevity, resulting in y←f( x).) The functionality is deterministic if the functionality only takes the security parameter and the strings x as inputs, and the functionality is symmetric if all parties receive the same output. The description focuses on deterministic functionalities, since a protocol for securely computing deterministic functionalities can be used to securely compute randomized functionalities.

With respect to encryption, a private-key encryption scheme or protocol Π is a set of three polynomial-time algorithms (Gen, Enc, Dec) such that algorithm Gen takes a security parameter k in unary and returns a secret key K, algorithm Enc takes a key K and an n-bit message m and returns a ciphertext c, and algorithm Dec takes a key K and a ciphertext c, and returns message m if key K was the key under which ciphertext c was produced.

Informally, a private-key encryption scheme is considered secure against chosen-plaintext attacks (CPA) if the ciphertext the encryption scheme outputs does not leak any useful information about the plaintext, even to an adversary that can adaptively query an encryption oracle. A public-key encryption scheme is defined analogously, with the exception that the key generation algorithm Gen outputs a public and private key pair (pk, sk), the encryption algorithm Enc takes the public-key as input, and the decryption algorithm Dec takes the secret key sk. An encryption scheme can sometimes be directed to have an elusive and verifiable range, which generally means that it can be verified (efficiently) whether a ciphertext c was generated under a given key.

An entity (e.g., party, server) can be colluding or non-colluding. In existing security definitions for secure MPC, a monolithic adversary A is oftentimes assumed that corrupts a subset of the participants, and consequently learns and uses the participant private inputs in adversary computation and communications. In practice, monolithic adversaries capture a variety of attack scenarios. In particular, the monolithic adversaries capture situations where multiple participants collude with each other and combine all participant information in order to cheat against the honest participants.

The protocols disclosed protocols are based on a conventional two-party protocol for semi-honest adversaries, which conventional protocol is now reviewed. Let circuit C be a Boolean circuit and protocol Π=(Gen, Enc, Dec) be a CPA-secure private-key encryption scheme that has an elusive and verifiable range. The protocol proceeds in two phases: a garbling phase where one of the parties (or parties), referred to as the sender, generates a garbled circuit G(C), and an evaluation phase where the other party, referred to as the receiver, evaluates the garbled circuit G(C). The garbled circuit comprises garbled gates along with output decryption tables.

To generate the garbled circuit, the sender begins by generating two secret keys (K_(w) ⁰, K_(w) ¹) for each wire w in the circuit. For each gate g the sender then builds a garbled table T_(g) as follows. Let w_(a) and w_(b) be the input wires of gate g and w_(c) be its output wire. Denote (K_(a) ⁰, K_(a) ¹, K_(b) ⁰, K_(b) ¹, K_(c) ⁰, K_(c) ¹) the six keys associated with gate g. Table T_(g) can comprise the following ciphertexts c permuted in a random order:

c _(0,0):=Enc_(K) _(a) ₀ (Enc_(K) _(b) ₀ (K _(c) ^(g(0,0))))

c _(0,1):=Enc_(K) _(a) ₀ (Enc_(K) _(b) ₁ (K _(c) ^(g(0,1))))

c _(1,0):=Enc_(K) _(a) ₁ (Enc_(K) _(b) ₀ (K _(c) ^(g(1,0))))

c _(1,1):=Enc_(K) _(a) ₁ (Enc_(K) _(b) ₁ (K _(c) ^(g(1,1)))).

Note that given a pair of keys K_(a) ^(b) and K_(b) ^(b)′, where b, b′ε{0,1}, the key K_(c) ^(g(b,b′)) can be recovered by attempting to decrypt each ciphertext. Since the encryption scheme is verifiable, only the decryption of ciphertexts c_(b,b′) will succeed, resulting in the key K_(c) ^(g(b,b′)). The sender then builds a translation table, which maps the keys associated with the output wires of the gates in the last layer of the circuit to the bits the keys represent.

Given a set of n keys (for the input wires) that correspond to a particular input string, the entire circuit can be evaluated gate by gate, each time using keys output from the previous garbled table to decrypt and recover the appropriate key to decrypt the next one. When the last layer of the circuit is reached, the translation table can be used to map the resulting keys to the output of the evaluation.

During the evaluation phase, the sender sends garbled circuit G(C) to the receiver along with the keys corresponding to the sender input and the translation table. The receiver then obtains the keys corresponding to the receiver input from the sender. This is accomplished privately (e.g., without the sender learning anything about the receiver's input) using a series of 1-out-of-2 oblivious transfers (OTs). The OT protocols allow the receiver to select one out of two keys held by the sender in such a way that (1) the sender does not learn which key was selected, and (2) the receiver learns nothing about the key that was not selected. Using all the garbled inputs, the receiver evaluates G(C) and uses the translation table to recover the output. Note that the evaluation of the garbled circuit has a negligible error probability.

Following are general-purpose server-aided two-party MPC protocols in accordance with the disclosed architecture. The two-party server-aided protocols are described for securely computing any functionality.

Reference is now made to the drawings, wherein like reference numerals are used to refer to like elements throughout. In the following description, for purposes of explanation, numerous specific details are set forth in order to provide a thorough understanding thereof. It may be evident, however, that the novel embodiments can be practiced without these specific details. In other instances, well known structures and devices are shown in block diagram form in order to facilitate a description thereof. The intention is to cover all modifications, equivalents, and alternatives falling within the spirit and scope of the claimed subject matter.

FIG. 1 illustrates multi-party computation system 100 in accordance with the disclosed architecture. The system 100 comprises a computational resources component 102 that provides computational resources to parties 104 of secure multi-party communications. The computational resources include functionality 106 sought by the parties 104 for evaluation.

The system 100 also comprises a first party component 108 of the parties 104 that sends one or more first concealed inputs 110 to the computational resources component 102, and receives a first output 112 derived from the functionality 106. The system 100 also comprises a second party component 114 of the parties 104 that sends a second concealed input 116 to the computational resources component 102, and receives a second output 118 derived from the functionality 106.

A protocol component 120 is provided via which the parties 104 perform secure MPC communications with the computational resources component 102 to access the functionality 106, input the first and second concealed inputs (110 and 116) to the computational resources component 102, and receive the first and second outputs (112 and 118) from the computational resources component 102. The protocol component 120 performs secure constant-round communications using garbled circuit technology to prevent the computation resources component 102 from providing input to computation of the functionality 106 and receiving output from the computation of the functionality 106. The computational resource component 102 can be part of one or more servers of a cloud computing framework 122 that provides the computational resources for server-aided secure multi-party communications.

The protocol component 120 can employ a garbled (Boolean) circuit created by the first party component 108 and used by the computational resources component 102 to evaluate the first and second concealed inputs (110 and 116) and provide the first and second outputs (112 and 118). This version of protocol component 120 is secure in the presence of non-colluding parties 104, and either a malicious server (the resources component 102) or a malicious second party 114.

Alternatively, the protocol component 120 employs multiple garbled circuits and multiple concealed inputs created by the first party component 108. The computational resources component 102 selects a subset of the garbled circuits, verifies correct generation of the subset by the first party component 108 and, continues evaluation the first and second concealed inputs (110 and 116) and provides the first and second outputs (112 and 118) based on the correct generation. In this case, the protocol component 102 is secure in the presence of non-colluding parties 104 and, a malicious server (the resources component 102), a malicious first party 108, and/or a malicious second party 114.

Still alternatively, the protocol component 120 can employ a first garbled circuit created by the first party component 108 and a second garbled circuit created by the second party component 114. The computational resources component 102 compares the first and second garbled circuits, and continues evaluation based on favorable comparison of the first and second garbled circuits to provide the first and second outputs (112 and 118). In this scenario, the protocol component 120 is secure in the presence of a semi-honest server (the resources component 102) and at most one malicious party (of the parties 104).

Yet again alternatively, the protocol component 120 can employ keys generated at the first party component 108 and second party component 114 based on execution of a cryptographic protocol. The first party component 108 creates ciphertexts using multiple keys generated from one of the keys and sends the ciphertexts, permuted in a random order, to the computational resources component 102, where the ciphertexts are decrypted using one key of the multiple keys. The one key that decrypts the ciphertexts is sent to the second party component 114 to derive an output at the second party component 114 based on the one key.

Included herein is a set of flow charts representative of exemplary methodologies for performing novel aspects of the disclosed architecture. While, for purposes of simplicity of explanation, the one or more methodologies shown herein, for example, in the form of a flow chart or flow diagram, are shown and described as a series of acts, it is to be understood and appreciated that the methodologies are not limited by the order of acts, as some acts may, in accordance therewith, occur in a different order and/or concurrently with other acts from that shown and described herein. For example, those skilled in the art will understand and appreciate that a methodology could alternatively be represented as a series of interrelated states or events, such as in a state diagram. Moreover, not all acts illustrated in a methodology may be required for a novel implementation.

FIG. 2 illustrates a first exemplary MPC protocol for secure multi-party computation in accordance with the disclosed architecture. The first protocol is a two-party server-aided protocol that is secure in the presence of non-colluding parties and, either a malicious server or a malicious P₂, as represented by the following adversary structure:

A={(S[m,nc], P₁[sh,nc], P₂[sh,nc]), (S[sh,nc], P₁[sh,nc], P₂[m,nc])}

At 200, a seed is generated based on execution of a cryptographic protocol (e.g., coin toss) by multiple parties that include a first party (Party P₁) and a second party (Party P₂). At 202, the first party generates a garbled circuit, a first concealed input (e.g., garbled input), and a first output table. At 204, the garbled circuit and first concealed input are sent to a server. The server includes functionality that can be applied over inputs of the multiple parties. At 206, the second party generates a second concealed input and a second output table. At 208, the second concealed input is sent by the second party to the server. At 210, the functionality is evaluated at the server based on evaluation of garbling of the garbled circuit. At 212, the server returns to the first party a first garbled output and to the second party a second garbled output for recovery of corresponding results by the first and second parties.

In a more specific example embodiment of the first protocol, Parties P₁ and P₂ execute a coin tossing protocol to generate a k-bit seed s. Party P₁ uses the seed s to generate a garbled circuit G(C), garbled input G(x) (e.g., the first concealed input), and an output table. Party P₁ sends the garbled circuit G(C) and garbled input G(x) to the server S. Party P₂ uses the seed s to generate an associated garbled input G(y) (e.g., a second concealed input) and an output table. Party P₂ then sends its garbled input to the server S. Server S evaluates the garbled circuit G(C) on the Parties P₁ and P₂ respective garbled inputs G(x) and G(y). Server S returns to the Parties P₁ and P₂ the respective garbled outputs. Parties P₁ and P₂ use the output tables to recover f(x,y) according to the functionality f on input x and input y.

The method can further comprise recovering a first result at the first party based on the first garbled output and the first output table and recovering a second result at the second party based on the second garbled output and the second output table.

The first party, the second party, and the server can be non-colluding parties and the server is malicious. The first party, the second party, and the server can be non-colluding parties and the second party is malicious. The server is part of a cloud computing system and the other parties are remote from the cloud computing system.

FIG. 3 illustrates a second exemplary MPC protocol for secure multi-party computation in accordance with the disclosed architecture. To handle a (non-colluding) malicious P₁, the previous protocol is augmented in this second protocol by performing cut-and-choose on party P₁'s garbled circuits and inputs. The following protocol is secure for the following adversary structure,

A={(S[m,nc], P₁[sh,nc], P₂[sh,nc]), (S[sh,nc], P₁[m,nc], P₂[m,nc])}

At 300, a seed is generated based on execution of a cryptographic protocol by multiple parties that include a first party and a second party. At 302, garbled circuits and first concealed inputs are generated. At 304, the garbled circuits and first concealed inputs are sent to a server. The server includes functionality that can be applied over inputs of the multiple parties. At 306, a subset of the garbled circuits is selected by the server. At 308, the selected subset of garbled circuits is opened by the first party by sending to the server secrets used to create the subset of garbled circuits. At 310, correct generation of the opened subset is verified. At 312, the concealed inputs are sent from the first and second parties to the server. At 314, an unselected garbled circuit is evaluated. At 316, a first concealed output is returned from the server to the first party and a second concealed output is returned from the server to the second party. The method can further comprise aborting computation at the server if the verification fails.

In a more specific example embodiment of the second protocol, Parties P₁ and P₂ execute a coin tossing protocol to generate a k-bit seed s. Party P₁ uses the seed s to generate λ garbled circuits (G₁(C), . . . , G_(λ)(C)), and λ garbled inputs (G₁(x), . . . , G_(λ)(x)). Party P₁ sends all the garbled circuits and garbled inputs to server S. Server S randomly chooses a number of circuits and requests party P₁ to open the selected circuits by sending the input tables associated with the selected garbled circuits to party P₁. Server S verifies that the opened circuits were generated correctly. If the verification fails for a circuit, server S aborts; otherwise, the verification succeeds, and server S continues. Parties P₁ and P₂ send garbled inputs to server S. Server S evaluates one of the remaining garbled circuits and returns the garbled output to Parties P₁ and P₂.

The first party, the second party, and the server can be non-colluding parties and the server is malicious. The first party, the second party, and the server can be non-colluding parties and, the first party is malicious. The server can be part of a cloud computing system and the other parties are remote from the cloud computing system.

FIG. 4 illustrates a third exemplary MPC protocol for secure multi-party computation in accordance with the disclosed architecture. The third protocol is secure in the presence of a semi-honest server and at most one malicious party, as represented by the following adversary structure,

A={(S[sh,nc], P₁[m,nc], P₂[sh,nc]), (S[sh,nc], P₁[sh,nc], P₂[m,nc])}

At 400, a seed is generated based on execution of a cryptographic protocol by multiple parties that include a first party and a second party. At 402, a first garbled circuit and a first concealed input are generated. At 404, the first garbled circuit and first concealed input are sent from the first party to a server. The server includes functionality that can be applied over inputs of the multiple parties. At 406, a second garbled circuit and a second concealed input are generated. At 408, the second garbled circuit and second concealed input are sent from the second party to the server.

At 410, the garbled circuits are evaluated at the server. At 412, a first garbled output is returned to the first party and a second garbled output is returned to the second party. The method can further comprise aborting the computation at the server if the first garbled circuit does not compare favorably to the second garbled circuit.

In a more specific example embodiment of the third protocol, Parties P₁ and P₂ execute a coin tossing protocol to generate a k-bit seed s. Party P₁ uses seed s to generate a garbled circuit G₁(C) and garbled input G(x), and then sends the garbled circuit G₁(C) and garbled input G(x) to server S. Party P₂ uses seed s to generate a garbled circuit G₂(C) and garbled input G(y), and then sends garbled circuit G₂(C) and garbled input G(y) to server S. If G₁(C)≠G₂(C), server S aborts; otherwise, server S continues. Server S evaluates the garbled circuits G₁(C) and G₂(C), and returns the garbled outputs to the respective Parties P₁ and P₂.

The server can be semi-honest and at most one of the first party or the second party is malicious. The server can be part of a cloud computing system and the other parties are remote from the cloud computing system.

FIG. 5 illustrates a fourth exemplary MPC protocol for secure multi-party computation in accordance with the disclosed architecture. The fourth protocol is a server-aided (1, n)-oblivious transfer protocol. The fourth protocol makes use of an authenticated private-key encryption scheme Σ₁=(Gen, Enc, Dec) and a private-key encryption scheme with an elusive and verifiable range Σ₂=(Gen, Enc, Dec) and a pseudo-random function F.

At 500, keys are generated at a first party and a second party based on execution of a cryptographic protocol. At 502, ciphertexts are created at the first party using multiple keys based on the first and second keys. At 504, the ciphertexts, permuted in a random order, are sent to a server. At 506, the ciphertexts are decrypted using one key of the multiple keys. At 508, the one key is sent to the second party. At 510, an output is derived at the second based on the one key.

The method can further comprise computing at the second party, second keys, based on the multiple keys, and sending the second keys to the server. The method can further comprise employing an authenticated private-key encryption scheme, a private-encryption scheme with verifiable range, and a pseudo-random function.

In a more specific example embodiment of the fourth protocol, Parties P₁ and P₂ each execute a cryptographic protocol (e.g., a coin tossing protocol) to generate two respective keys K₁ and K₂. Party P₁ generates keys (K₁, . . . , K_(n)) where K_(i)←F_(K) ₁ (i). Party P₁ then computes for 1≦i≦n, ciphertext c_(i)←Σ₂.Enc_(K) _(i) (Σ₁.Enc_(K) ₂ (a_(i))) and sends ciphertexts (c₁, . . . , c_(n)), permuted in a random order, to server S. Party P₂ computes key K_(i)←F_(K) ₁ (i) and sends key K_(i) to server S. Server S attempts to decrypt all the ciphertexts using key K_(i). At most, one key will successfully decrypt the ciphertext, which decrypted ciphertext is denoted c_(i)′. Server S then sends decrypted ciphertext c_(i)′ to party P₂. Party P₂ then computes a_(i)←Σ₁.Dec_(K) ₂ (c_(i)′) and outputs a_(i), if a_(i)≠⊥.

As used in this application, the terms “component” and “system” are intended to refer to a computer-related entity, either hardware, a combination of software and tangible hardware, software, or software in execution. For example, a component can be, but is not limited to, tangible components such as a processor, chip memory, mass storage devices (e.g., optical drives, solid state drives, and/or magnetic storage media drives), and computers, and software components such as a process running on a processor, an object, an executable, a data structure (stored in volatile or non-volatile storage media), a module, a thread of execution, and/or a program. By way of illustration, both an application running on a server and the server can be a component. One or more components can reside within a process and/or thread of execution, and a component can be localized on one computer and/or distributed between two or more computers. The word “exemplary” may be used herein to mean serving as an example, instance, or illustration. Any aspect or design described herein as “exemplary” is not necessarily to be construed as preferred or advantageous over other aspects or designs.

Referring now to FIG. 6, there is illustrated a block diagram of a computing system 600 that executes server-aided secure multi-party computation in accordance with the disclosed architecture. However, it is appreciated that the some or all aspects of the disclosed methods and/or systems can be implemented as a system-on-a-chip, where analog, digital, mixed signals, and other functions are fabricated on a single chip substrate. In order to provide additional context for various aspects thereof, FIG. 6 and the following description are intended to provide a brief, general description of the suitable computing system 600 in which the various aspects can be implemented. While the description above is in the general context of computer-executable instructions that can run on one or more computers, those skilled in the art will recognize that a novel embodiment also can be implemented in combination with other program modules and/or as a combination of hardware and software.

The computing system 600 for implementing various aspects includes the computer 602 having processing unit(s) 604, a computer-readable storage such as a system memory 606, and a system bus 608. The processing unit(s) 604 can be any of various commercially available processors such as single-processor, multi-processor, single-core units and multi-core units. Moreover, those skilled in the art will appreciate that the novel methods can be practiced with other computer system configurations, including minicomputers, mainframe computers, as well as personal computers (e.g., desktop, laptop, etc.), hand-held computing devices, microprocessor-based or programmable consumer electronics, and the like, each of which can be operatively coupled to one or more associated devices.

The system memory 606 can include computer-readable storage (physical storage media) such as a volatile (VOL) memory 610 (e.g., random access memory (RAM)) and non-volatile memory (NON-VOL) 612 (e.g., ROM, EPROM, EEPROM, etc.). A basic input/output system (BIOS) can be stored in the non-volatile memory 612, and includes the basic routines that facilitate the communication of data and signals between components within the computer 602, such as during startup. The volatile memory 610 can also include a high-speed RAM such as static RAM for caching data.

The system bus 608 provides an interface for system components including, but not limited to, the system memory 606 to the processing unit(s) 604. The system bus 608 can be any of several types of bus structure that can further interconnect to a memory bus (with or without a memory controller), and a peripheral bus (e.g., PCI, PCIe, AGP, LPC, etc.), using any of a variety of commercially available bus architectures.

The computer 602 further includes machine readable storage subsystem(s) 614 and storage interface(s) 616 for interfacing the storage subsystem(s) 614 to the system bus 608 and other desired computer components. The storage subsystem(s) 614 (physical storage media) can include one or more of a hard disk drive (HDD), a magnetic floppy disk drive (FDD), and/or optical disk storage drive (e.g., a CD-ROM drive DVD drive), for example. The storage interface(s) 616 can include interface technologies such as EIDE, ATA, SATA, and IEEE 1394, for example.

One or more programs and data can be stored in the memory subsystem 606, a machine readable and removable memory subsystem 618 (e.g., flash drive form factor technology), and/or the storage subsystem(s) 614 (e.g., optical, magnetic, solid state), including an operating system 620, one or more application programs 622, other program modules 624, and program data 626.

The an operating system 620, one or more application programs 622, other program modules 624, and program data 626 can include the entities and components of the system 100 of FIG. 1, and the protocols represented by the flowcharts of FIGS. 2-5, for example.

Generally, programs include routines, methods, data structures, other software components, etc., that perform particular tasks or implement particular abstract data types. All or portions of the operating system 620, applications 622, modules 624, and/or data 626 can also be cached in memory such as the volatile memory 610, for example. It is to be appreciated that the disclosed architecture can be implemented with various commercially available operating systems or combinations of operating systems (e.g., as virtual machines).

The storage subsystem(s) 614 and memory subsystems (606 and 618) serve as computer readable media for volatile and non-volatile storage of data, data structures, computer-executable instructions, and so forth. Such instructions, when executed by a computer or other machine, can cause the computer or other machine to perform one or more acts of a method. The instructions to perform the acts can be stored on one medium, or could be stored across multiple media, so that the instructions appear collectively on the one or more computer-readable storage media, regardless of whether all of the instructions are on the same media.

Computer readable media can be any available media that can be accessed by the computer 602 and includes volatile and non-volatile internal and/or external media that is removable or non-removable. For the computer 602, the media accommodate the storage of data in any suitable digital format. It should be appreciated by those skilled in the art that other types of computer readable media can be employed such as zip drives, magnetic tape, flash memory cards, flash drives, cartridges, and the like, for storing computer executable instructions for performing the novel methods of the disclosed architecture.

A user can interact with the computer 602, programs, and data using external user input devices 628 such as a keyboard and a mouse. Other external user input devices 628 can include a microphone, an IR (infrared) remote control, a joystick, a game pad, camera recognition systems, a stylus pen, touch screen, gesture systems (e.g., eye movement, head movement, etc.), and/or the like. The user can interact with the computer 602, programs, and data using onboard user input devices 630 such a touchpad, microphone, keyboard, etc., where the computer 602 is a portable computer, for example. These and other input devices are connected to the processing unit(s) 604 through input/output (I/O) device interface(s) 632 via the system bus 608, but can be connected by other interfaces such as a parallel port, IEEE 1394 serial port, a game port, a USB port, an IR interface, short-range wireless (e.g., Bluetooth) and other personal area network (PAN) technologies, etc. The I/O device interface(s) 632 also facilitate the use of output peripherals 634 such as printers, audio devices, camera devices, and so on, such as a sound card and/or onboard audio processing capability.

One or more graphics interface(s) 636 (also commonly referred to as a graphics processing unit (GPU)) provide graphics and video signals between the computer 602 and external display(s) 638 (e.g., LCD, plasma) and/or onboard displays 640 (e.g., for portable computer). The graphics interface(s) 636 can also be manufactured as part of the computer system board.

The computer 602 can operate in a networked environment (e.g., IP-based) using logical connections via a wired/wireless communications subsystem 642 to one or more networks and/or other computers. The other computers can include workstations, servers, routers, personal computers, microprocessor-based entertainment appliances, peer devices or other common network nodes, and typically include many or all of the elements described relative to the computer 602. The logical connections can include wired/wireless connectivity to a local area network (LAN), a wide area network (WAN), hotspot, and so on. LAN and WAN networking environments are commonplace in offices and companies and facilitate enterprise-wide computer networks, such as intranets, all of which may connect to a global communications network such as the Internet.

When used in a networking environment the computer 602 connects to the network via a wired/wireless communication subsystem 642 (e.g., a network interface adapter, onboard transceiver subsystem, etc.) to communicate with wired/wireless networks, wired/wireless printers, wired/wireless input devices 644, and so on. The computer 602 can include a modem or other means for establishing communications over the network. In a networked environment, programs and data relative to the computer 602 can be stored in the remote memory/storage device, as is associated with a distributed system. It will be appreciated that the network connections shown are exemplary and other means of establishing a communications link between the computers can be used.

The computer 602 is operable to communicate with wired/wireless devices or entities using the radio technologies such as the IEEE 802.xx family of standards, such as wireless devices operatively disposed in wireless communication (e.g., IEEE 802.11 over-the-air modulation techniques) with, for example, a printer, scanner, desktop and/or portable computer, personal digital assistant (PDA), communications satellite, any piece of equipment or location associated with a wirelessly detectable tag (e.g., a kiosk, news stand, restroom), and telephone. This includes at least Wi-Fi (or Wireless Fidelity) for hotspots, WiMax, and Bluetooth™ wireless technologies. Thus, the communications can be a predefined structure as with a conventional network or simply an ad hoc communication between at least two devices. Wi-Fi networks use radio technologies called IEEE 802.11x (a, b, g, etc.) to provide secure, reliable, fast wireless connectivity. A Wi-Fi network can be used to connect computers to each other, to the Internet, and to wire networks (which use IEEE 802.3-related media and functions).

What has been described above includes examples of the disclosed architecture. It is, of course, not possible to describe every conceivable combination of components and/or methodologies, but one of ordinary skill in the art may recognize that many further combinations and permutations are possible. Accordingly, the novel architecture is intended to embrace all such alterations, modifications and variations that fall within the spirit and scope of the appended claims. Furthermore, to the extent that the term “includes” is used in either the detailed description or the claims, such term is intended to be inclusive in a manner similar to the term “comprising” as “comprising” is interpreted when employed as a transitional word in a claim. 

1. A computer-implemented multi-party computation system, comprising: a computational resources component that provides computational resources to parties of secure multi-party communications, the computational resources include functionality sought by the parties for evaluation; a first party component of the parties that sends one or more first concealed inputs to the computational resources component, and receives a first output derived from the functionality; a second party component of the parties that sends a second concealed input to the computational resources component, and receives a second output derived from the functionality; a protocol component via which the parties perform secure communications with the computational resources component to access the functionality, input the first and second concealed inputs to the computational resources component, and receive the first and second outputs from the computational resources component, the protocol component performs secure constant-round communications using garbled circuit technology to prevent the computation resources component from providing input to computation of the functionality and receiving output from the computation of the functionality; and a processor that executes computer-executable instructions associated with at least one of the computational resources component or the protocol component.
 2. The system of claim 1, wherein the computational resource component is part of one or more servers of a cloud computing framework that provides the computational resources for server-aided secure multi-party communications.
 3. The system of claim 1, wherein the protocol component employs a garbled circuit created by the first party component and used by the computational resources component to evaluate the first and second concealed inputs and provide the first and second outputs, the protocol component is secure in the presence of non-colluding parties, and either a malicious server or a malicious second party.
 4. The system of claim 1, wherein the protocol component employs multiple garbled circuits and multiple concealed inputs created by the first party component, the computational resources component selects a subset of the garbled circuits, verifies correct generation of the subset by the first party component and, continues evaluation the first and second concealed inputs and provides the first and second outputs based on the correct generation, the protocol component is secure in the presence of non-colluding parties and, at least one of a malicious server, a malicious first party, or a malicious second party.
 5. The system of claim 1, wherein the protocol component employs a first garbled circuit created by the first party component and a second garbled circuit created by the second party component, the computational resources component compares the first and second garbled circuits, and continues evaluation based on favorable comparison of the first and second garbled circuits to provide the first and second outputs, the protocol component is secure in the presence of a semi-honest server and at most one malicious party.
 6. The system of claim 1, wherein the protocol component employs keys generated at the first party component and second party component based on execution of a cryptographic protocol, the first party component creates ciphertexts using multiple keys generated from one of the keys and sends the ciphertexts, permuted in a random order, to the computational resources component where the ciphertexts are decrypted using one key of the multiple keys, the one key sent to the second party component to derive an output at the second party component based on the one key.
 7. A computer-implemented protocol method for secure multi-party computation, comprising acts of: generating a seed based on execution of a cryptographic protocol by multiple parties that include a first party and a second party; generating, by the first party, a garbled circuit, a first concealed input, and a first output table; sending the garbled circuit and first concealed input to a server, the server includes functionality that can be applied over inputs of the multiple parties; generating, by the second party, a second concealed input and a second output table; sending the second concealed input by the second party to the server; evaluating the functionality at the server based on evaluation of garbling of the garbled circuit; returning to the first party a first garbled output and to the second party a second garbled output for recovery of corresponding results by the first and second parties; and utilizing a processor that executes instructions stored in memory to perform at least one of the acts associated with generating, sending, evaluating, or returning.
 8. The method of claim 7, wherein the first party, the second party, and the server are non-colluding parties and the server is malicious.
 9. The method of claim 7, wherein the first party, the second party, and the server are non-colluding parties and the second party is malicious.
 10. The method of claim 7, wherein the server is part of a cloud computing system and the other parties are remote from the cloud computing system.
 11. The method of claim 7, further comprising: recovering a first result at the first party based on the first garbled output and the first output table; and recovering a second result at the second party based on the second garbled output and the second output table.
 12. A computer-implemented protocol method for secure multi-party computation, comprising acts of: generating a seed based on execution of a cryptographic protocol by multiple parties that include a first party and a second party; generating garbled circuits and first concealed inputs; sending the garbled circuits and first concealed inputs to a server, the server includes functionality that can be applied over inputs of the multiple parties; selecting a subset of the garbled circuits by the server; opening the selected subset of garbled circuits by the first party by sending to the server secrets used to create the selected subset of garbled circuits; verifying correct generation of the opened subset; sending concealed inputs from the first and second parties to the server; evaluating an unselected garbled circuit; returning a first concealed output to the first party and a second concealed output to the second party; and utilizing a processor that executes instructions stored in memory to perform at least one of the acts associated with generating, sending, selecting, opening, verifying, evaluating, or returning.
 13. The method of claim 12, further comprising aborting computation at the server if the verification fails.
 14. The method of claim 12, wherein the first party, the second party, and the server are non-colluding parties and the server is malicious.
 15. The method of claim 12, wherein the first party, the second party, and the server are non-colluding parties and, the first party is malicious.
 16. The method of claim 12, wherein the server is part of a cloud computing system and the other parties are remote from the cloud computing system.
 17. A computer-implemented protocol method for secure multi-party computation, comprising acts of: generating a seed based on execution of a cryptographic protocol by multiple parties that include a first party and a second party; generating a first garbled circuit and a first concealed input; sending the first garbled circuit and first concealed input to a server, the server includes functionality that can be applied over inputs of the multiple parties; generating a second garbled circuit and a second concealed input; sending the second garbled circuit and second concealed input to the server; evaluating the garbled circuits at the server; returning to the first party a first garbled output and to the second party a second garbled output; and utilizing a processor that executes instructions stored in memory to perform at least one of the acts associated with generating, sending, evaluating, or returning.
 18. The method of claim 17, further comprising aborting the computation at the server if the first garbled circuit does not compare favorably to the second garbled circuit.
 19. The method of claim 17, wherein the server is semi-honest and at most one of the first party or the second party is malicious.
 20. The method of claim 17, wherein the server is part of a cloud computing system and the other parties are remote from the cloud computing system.
 21. A computer-implemented protocol method for secure multi-party computation, comprising acts of: generating keys at a first party and a second party based on execution of a cryptographic protocol; creating ciphertexts at the first party using multiple keys based on the first and second keys; sending the ciphertexts, permuted in a random order, to a server; decrypting the ciphertexts using one key of the multiple keys; sending the one key to the second party; deriving an output at the second party based on the one key; and utilizing a processor that executes instructions stored in memory to perform at least one of the acts associated with generating, creating, sending, decrypting, or deriving.
 22. The method of claim 21, further comprising computing at the second party second keys based on the multiple keys and sending the second keys to the server.
 23. The method of claim 21, further comprising employing an authenticated private-key encryption scheme, a private-encryption scheme with verifiable range, and a pseudo-random function. 